trait C extends A {
    override def x = super.x + 5
}
